The Identity Correspondence Problem and Its Applications
نویسندگان
چکیده
In this paper we study several closely related fundamental problems for words and matrices. First, we introduce the Identity Correspondence Problem (ICP): whether a finite set of pairs of words (over a group alphabet) can generate an identity pair by a sequence of concatenations. We prove that ICP is undecidable by a reduction of Post’s Correspondence Problem via several new encoding techniques. In the second part of the paper we use ICP to answer a long standing open problem concerning matrix semigroups: “Is it decidable for a finitely generated semigroup S of square integral matrices whether or not the identity matrix belongs to S?”. We show that the problem is undecidable starting from dimension four even when the number of matrices in the generator is fixed. From this fact, we can immediately derive that the fundamental problem of whether a finite set of matrices generates a group is also undecidable. We also answer several question for matrices over different number fields. Apart from the application to matrix problems, we believe that the Identity Correspondence Problem will also be useful in identifying new areas of undecidable problems in abstract algebra, computational questions in logic and combinatorics on words.
منابع مشابه
On a Picone's identity for the $mathcal{A}_{p(x)}$-Laplacian and its applications
We present a Picone's identity for the $mathcal{A}_{p(x)}$-Laplacian, which is an extension of the classic identity for the ordinary Laplace. Also, some applications of our results in Sobolev spaces with variable exponent are suggested.
متن کاملOn the Undecidability of the Identity Correspondence Problem and its Applications for Word and Matrix Semigroups
In this paper we study several closely related fundamental problems for words and matrices. First, we introduce the Identity Correspondence Problem (ICP): whether a finite set of pairs of words (over a group alphabet) can generate an identity pair by a sequence of concatenations. We prove that ICP is undecidable by a reduction of Post’s Correspondence Problem via several new encoding techniques...
متن کاملThe Explanatory Model of the Internet Applications and its Role on the Youth Sexual Identity in Tehran
The aim of this study is presenting an explanatory model of the Internet applications and the role on the sexual identities’ of the-youth in Tehran. Also these sub-targets were evaluated: the amount of the youths’ familiarization with this technology by sex, the kind of programs used by the students by sex, the recognition of internet applications’ effect on the sexual - identity of the youth. ...
متن کاملStudy of pottery motifs of Gonabad and its application in designing the visual identity of a cultural institution
Gonabad pottery is one of the types of pottery in the country that shows the cultural authenticity and civilization of Khorasan. However, the name of this pottery and the motifs used on it are in danger of being destroyed due to the problems related to the potters and neglecting the place of this valuable art. Therefore, the current research intends to study the role of the original ingredients...
متن کاملThe Extent of Correspondence between the Content of the 9th Grade Math Textbook and the Real World Issues
Education has always been one of the main concerns of human societies, but in different periods and different communities educational goals have varied. Nowadays, and especially here in Iran, the main goal of education is to prepare children for real life and its problem. More specifically, the goal in mathematics education is help students with solving real life problems using their acquired m...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009